Effective Étale - Descent Morphisms in M - Ordered Sets Pier Giorgio

نویسنده

  • GIORGIO BASILE
چکیده

Following the results obtained in Preord and in Cat, we characterize the effective étale-descent morphisms inM -Ord, the category ofM -ordered sets for a given monoid M . Furthermore we show that in M -Ord every effective descent morphism is effective for étale-descent (while the converse is false), and we generalize it to a more general context of relational algebras.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Covering Morphisms in Categories of Relational Algebras

In this paper we use Janelidze’s approach to the classical theory of topological coverings via categorical Galois theory to study coverings in categories of relational algebras. Moreover, we present characterizations of effective descent morphisms in the categories of M ordered sets and of multi-ordered sets.

متن کامل

On descent for coalgebras and type transformations

We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...

متن کامل

Some Stability Properties of Epimorphism Classes

It is proved that in any pointed category with pullbacks, coequalizers and regular epi-mono factorizations, the class of regular epimorphisms is stable under pullback along the so-called balanced effective descent morphisms. Here “balanced” can be omitted if the category is additive. A balanced effective descent morphism is defined as an effective descent morphism p : E → B such that any subobj...

متن کامل

Descent for Priestley Spaces

A characterization of descent morphism in the category of Priestley spaces, as well as necessary and sufficient conditions for such morphisms to be effective are given. For that we embed this category in suitable categories of preordered topological spaces were descent and effective morphisms are described using the monadic description of descent.

متن کامل

Effective Descent Morphisms in Categories of Lax Algebras

In this paper we investigate effective descent morphisms in categories of reflexive and transitive lax algebras. We show in particular that open and proper maps are effective descent, result that extends the corresponding results for the category of topological spaces and continuous maps. Introduction A morphism p : E → B in a category C with pullbacks is called effective descent if it allows a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014